- idUS
- Listar por autor
Listar por autor "Troya Castilla, Javier"
Mostrando ítems 1-20 de 57
-
Ponencia
A Domain Specific Visual Language for Modeling Power-Aware Reliability in Wireless Sensor Networks
Troya Castilla, Javier; Vallecillo Moreno, Antonio (ACM Digital Library, 2012)Reliability is an attribute that appears in all quality models, so it is important to take it into account when developing ...
-
Artículo
A local and global tour on MOMoT
Bill, Robert; Fleck, Martin; Troya Castilla, Javier; Mayerhofer, Tanja; Wimmer, Manuel (Springer, 2017)Many model transformation scenarios require flexible execution strategies as they should produce models with the ...
-
Artículo
A Rewriting Logic Semantics for ATL
Troya Castilla, Javier; Vallecillo Moreno, Antonio (AITO: Association Internationale pour les Technologies Objets, 2011)As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a ...
-
Ponencia
A Template–Based Approach to Describing Metamorphic Relations
Segura Rueda, Sergio; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2017)Metamorphic testing enables the generation of test cases in the absence of an oracle by exploiting relations among different ...
-
Ponencia
Adapting Component-based User Interfaces at Runtime using Observers
Criado, Javier; Iribarne, Luis; Padilla, Nicolás; Troya Castilla, Javier; Vallecillo Moreno, Antonio (Universidade da Coruña, 2011)Model-driven engineering (MDE) already plays a key role in Human-Computer Interaction for the automatic generation of ...
-
Ponencia
An Approach for Debugging Model Transformations Applying Spectrum-Based Fault Localization
Troya Castilla, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (Universidad de la Laguna, 2017)Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for ...
-
Ponencia
An MDE approach for Runtime Monitoring and Adapting Component-based Systems: Application to WIMP User Interface Architectures
Criado, Javier; Iribarne, Luis; Padilla, Nicolás; Troya Castilla, Javier; Vallecillo Moreno, Antonio (IEEE Computer Society, 2012)In certain systems, software must be adapted at runtime to the requirements and changes occurring in the context. A ...
-
Ponencia
ARTIST: Model-Based Stairway to the Cloud
Troya Castilla, Javier; Brunelière, Hugo; Fleck, Martin; Wimmer, Manuel; Orue-Echevarría, Leire; Gorroñogoitia, Jesús (CEUR-WS, 2015)Over the past decade, cloud services emerged as one of the most promising technologies in IT. Since cloud computing allows ...
-
Ponencia
Automated Generation of Metamorphic Relations for Query-Based Systems
Segura Rueda, Sergio; Alonso, Juan C.; Martín López, Alberto; Durán Toro, Amador; Troya Castilla, Javier; Ruiz Cortés, Antonio (IEEE Computer Society, 2022)Searching and displaying data based on user queries is a pervasive feature of most software applications such as information ...
-
Artículo
Automated inference of likely metamorphic relations for model transformations
Troya Castilla, Javier; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Elsevier, 2018)Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms ...
-
Ponencia
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation
Troya Castilla, Javier; Cubo, Javier; Martín, José Antonio; Pimentel, Ernesto; Vallecillo Moreno, Antonio (ScitePress Digital Library, 2013)Cloud computing promises easy access, low entry cost and elasticity. However, elastic service provisioning is usually ...
-
Ponencia
Concurrent Model Transformations with Linda
Burgueño, Loli; Troya Castilla, Javier; Vallecillo Moreno, Antonio (Sociedad de Ingeniería del Software y Tecnologías de Desarrollo del Software (SISTEDES), 2013)Nowadays, model transformations languages and engines use a sequential execution model. This is, only one execution thread ...
-
Ponencia
Developing a communications architecture based on WCF for use in nuclear power plant simulators
Díaz, Manuel; Garrido, Daniel; Troya Castilla, Javier (IADIS: International Association for Development of the Information Society, 2009)Communications play the main role in the development of system architectures where their different parts have to continually ...
-
Ponencia
Diseño y Simulación de Sistemas de Colas con e-Motions
Bautista, José M.; Troya Castilla, Javier; Vallecillo Moreno, Antonio (Universidade da Coruña, 2011)Este trabajo propone el uso de un lenguaje de dominio espec í co de alto nivel y ejecutable para analizar el rendimiento ...
-
Ponencia
Domain-Specific Languages and Model Transformations for Soft ware Product Line
Troya Castilla, Javier; Tolvanen, Juha-Pekka; Segura Rueda, Sergio (ACM Digital Library, 2017)is tutorial introduces and demonstrates the use of Model-Driven Engineering in So ware Product Lines. In particular, it ...
-
Artículo
Evaluation of Model Transformation Approaches for Model Refactoring
Kolahdouz-Rahimi, S.; Lano, K.; Pillay, S.; Troya Castilla, Javier; Gorp, P. van (Elsevier, 2014)This paper provides a systematic evaluation framework for comparing model transformation approaches, based upon the ISO/IEC ...
-
Artículo
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report
Troya Castilla, Javier; Parejo Maestre, José Antonio; Segura Rueda, Sergio; Gámez Díaz, Antonio; Márquez Chamorro, Alfonso Eduardo; Río Ortega, Adela del (IEEE Computer Society, 2020)Contribution: This article presents an experience report on the application of flipped classroom (FC) to the laboratory ...
-
Artículo
Flipping Laboratory Sessions: An Experience in Computer Science
Parejo Maestre, José Antonio; Troya Castilla, Javier; Segura Rueda, Sergio; Río Ortega, Adela del; Gámez Díaz, Antonio; Márquez Chamorro, Alfonso Eduardo (IEEE Computer Society, 2020)This paper reports our experience in flipping a second- year undergraduate course on software architecture and integration, ...
-
Ponencia
From Out-Place Transformation Evolution to In-Place Model Patching
Bergmayr, Alexander; Troya Castilla, Javier; Wimmer, Manuel (ACM Digital Library, 2014)Model transformation is a key technique to automate software engineering tasks. Like any other software, transformations ...
-
Artículo
Full contract verification for ATL using symbolic execution
Oakes, Bentley James; Troya Castilla, Javier; Lúcio, Levy; Wimmer, Manuel (Springer, 2016)The Atlas Transformation Language (ATL) is currently one of the most used model transformation languages and has become a ...